14.56/16.70	unsat
