22.74/23.73	unsat
