7.57/7.69	unsat
