143.08/146.43	unsat
