14.37/14.99	unsat
