18.14/19.57	unsat
