7.87/8.20	unsat
