9.28/11.82	unsat
