1.08/1.24	unsat
