14.85/15.00	unsat
