23.84/24.63	unsat
