14.66/15.00	unsat
