6.27/7.69	unsat
