24.85/25.07	unsat
