6.27/9.68	unsat
