1.24/2.24	unsat
