10.07/10.24	unsat
