24.54/24.66	unsat
