142.64/143.53	unsat
