18.93/19.04	unsat
