18.62/19.04	unsat
