18.14/19.58	unsat
