18.36/19.26	unsat
