18.95/19.04	unsat
