142.55/142.94	unsat
