18.66/19.52	unsat
