18.78/19.53	unsat
