6.37/6.69	unsat
