14.99/15.14	unsat
