6.48/7.69	unsat
