24.46/25.09	unsat
