22.42/23.74	unsat
