9.27/11.80	unsat
