10.39/10.68	unsat
