1.17/3.24	unsat
