1.05/1.24	unsat
