9.98/14.18	unsat
