9.80/12.95	unsat
