7.80/8.08	unsat
