4.17/4.24	unsat
