24.87/25.68	unsat
