14.36/16.70	unsat
