1.18/2.42	unsat
