1.49/2.42	unsat
