14.32/16.70	unsat
