5.48/6.69	unsat
