20.74/22.53	unsat
