142.71/146.29	unsat
