24.93/25.02	unsat
