9.80/14.12	unsat
