14.56/17.00	unsat
