142.47/142.53	unsat
