18.76/19.04	unsat
