9.69/11.78	unsat
