8.06/8.20	unsat
