9.24/10.95	unsat
