7.80/8.12	unsat
