14.96/15.00	unsat
