7.06/8.20	unsat
