18.36/19.35	unsat
