14.84/16.00	unsat
