24.98/25.16	unsat
