9.76/12.68	unsat
