10.08/10.68	unsat
