14.57/15.99	unsat
