23.94/24.59	unsat
