142.45/144.98	unsat
