18.14/19.08	unsat
