9.32/11.81	unsat
