9.87/10.80	unsat
