7.50/7.69	unsat
