18.03/19.70	unsat
