5.28/7.69	unsat
