14.75/16.70	unsat
