14.36/15.00	unsat
