18.05/19.42	unsat
