18.14/19.49	unsat
