21.74/24.53	unsat
