23.72/24.80	unsat
