140.34/143.32	unsat
