14.55/16.00	unsat
