9.68/12.78	unsat
