9.76/12.17	unsat
