23.67/24.63	unsat
