1.17/1.24	unsat
