24.88/25.16	unsat
