18.85/19.52	unsat
