1.18/2.47	unsat
