140.87/143.36	unsat
