14.89/16.00	unsat
