8.80/10.21	unsat
