18.85/19.26	unsat
