5.10/6.69	unsat
