8.80/10.14	unsat
