23.33/24.73	unsat
