20.74/23.53	unsat
