18.76/20.53	unsat
