2.17/2.24	unsat
