7.24/11.24	unsat
